منابع مشابه
Making Computer Algebra More Symbolic
This paper is a step to bring closer together two views of computing with mathematical objects: the view of “symbolic computation” and the view of “computer algebra.” Symbolic computation may be seen as working with expression trees representing mathematical formulae and applying various rules to transform them. Computer algebra may be seen as developing constructive algorithms to compute algeb...
متن کاملThe symbolic computation of vector field expressions
This is an expository paper explaining how trees can be used to compute effectively the vector field expressions which arise in nonlinear control theory. It also describe the mathematical structure that sets of trees carry.
متن کاملCohomology of Lie Superalgebras of Hamiltonian Vector Fields: Computer Analysis
In this paper we present the results of computation of cohomology for some Lie (super)algebras of Hamiltonian vector fields and related algebras. At present, the full cohomology rings for these algebras are not known even for the low dimensional vector fields. The partial “experimental” results may give some hints for solution of the whole problem. The computations have been carried out with th...
متن کاملComputer-assisted Proofs and Symbolic Computations
We discuss some main points of computer-assisted proofs based on reliable numerical computations. Such so-called self-validating numerical methods in combination with exact symbolic manipulations result in very powerful mathematical software tools. These tools allow proving mathematical statements (existence of a fixed point, of a solution of an ODE, of a zero of a continuous function, of a glo...
متن کاملSymbolic Computer Language for Multibody Systems
Methods are developed for describing and manipulating symbolic data objects that are useful for analyzing the kinematics and dynamics of multibody systems. These symbolic objects include 1) vector/dyadic algebraic expressions, 2) physical components in a multibody system, and 3) program structures needed in a numerical simulation code. A computer algebra language based on these methods encourag...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computers & Mathematics with Applications
سال: 1979
ISSN: 0898-1221
DOI: 10.1016/0898-1221(81)90133-4